Computational logic - PDFSEARCH.IO - Document Search Engine

Computational logic
Results: 652

#	Item
141	Exercise 6 Foundations of Constraint Programming Dr. Paola Bruscoli, Amin Timany International Master in Computational Logic – winter term Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2012-01-22 13:00:19
142	Exercise 5 Foundations of Constraint Programming Dr. Paola Bruscoli, Amin Timany International Master in Computational Logic – winter term Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2012-01-04 14:10:03
143	Exercise 3 Foundations of Logic Programming Dr. Paola Bruscoli, Amin Timany International Master in Computational Logic – winter term Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2012-01-04 14:11:21
144	On the Computational Complexity of Naive-based Semantics for Abstract Dialectical Frameworks Sarah Alice Gaggl Computational Logic Group TU Dresden, Germany Add to Reading List Source URL: ddll.inf.tu-dresden.de Language: English - Date: 2015-05-06 03:48:04
145	Exercise 1 Foundations of Constraint Programming Dr. Paola Bruscoli, Amin Timany International Master in Computational Logic – winter term Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2012-01-04 14:09:54
146	Logical Preliminaries Johannes C. Flieger Scheme UK March 2003 Abstract Survey of intuitionistic and classical propositional logic; introduction to the computational interpretation of intuitionistic logic in the Add to Reading List Source URL: schematics.sourceforge.net Language: English - Date: 2005-05-20 05:14:17
147	LPAR-17 Program Revision of OctMonday, October – – 9.50 Add to Reading List Source URL: www.computational-logic.org Language: English - Date: 2010-10-09 04:56:39
148	TEX in Teaching Michael Moortgat, Richard Moot, Dick Oehrle Contents Add to Reading List Source URL: www.ntg.nl Language: English - Date: 2001-09-26 14:35:12 Programming language theory Compiler construction Prolog Computational linguistics Logic Parsing Formal sciences Software engineering Science
149	On Elementary Linear Logic and polynomial time (Extended Abstract) Patrick Baillot∗ ENS Lyon, Universit´e de Lyon, LIP (UMR 5668 CNRS-ENSL-INRIA-UCBL) Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2015-05-05 07:12:16 Complexity classes Proof theory Structural complexity theory Curry–Howard correspondence Type theory NP Time complexity Reduction Linear logic Theoretical computer science Computational complexity theory Applied mathematics
150	Compressive sensing using locality-preserving matrices Elyot Grant∗ Piotr Indyk∗ December 4, 2012 Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2013-06-10 19:22:49 Error detection and correction Information retrieval Artificial intelligence Computational complexity theory Universal hashing Lipschitz continuity Hash function Combinatory logic Tabulation hashing Search algorithms Hashing Theoretical computer science

UPDATE